Details

Time bar (total: 23.8s)

sample49.0ms

Algorithm
intervals
Results
22.0ms271×body80valid
1.0ms3×body640valid
0.0ms2×body320valid
0.0ms1×body1280valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
15415
214215
332215
495915
5465615
done500015

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.0b
(tanh (/ x y))
0.0b
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
5.1b
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
11×associate-*r/
9×pow1 add-exp-log frac-sub add-cbrt-cube
8×tanh-def
7×add-sqr-sqrt *-un-lft-identity
6×add-log-exp
5×add-cube-cbrt associate-*r*
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in
3×pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-- flip3-+ associate-*l* sum-log *-commutative flip-- flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 70
Calls
4 calls:
2.0ms
(tanh (/ t y))
2.0ms
(tanh (/ x y))
11.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
92.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series943.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(tanh (/ t y))
135.0ms
(tanh (/ x y))
500.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
197.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify2.0s

Counts
82 → 82
Iterations

Useful iterations: 2 (580.0ms)

IterNodesCost
01751466
15171400
228341320
done50011320

prune434.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.0b
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
1.7b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.2b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/
18×distribute-rgt-in distribute-lft-in frac-sub
13×tanh-def
11×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
10×sub-neg
9×*-un-lft-identity
8×associate-+r+
7×add-cube-cbrt
6×associate-*r* associate-*l* add-log-exp
4×pow-prod-down prod-exp cbrt-unprod
2×flip3-- *-commutative flip--
1×+-commutative flip3-+ sum-log flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 101
Calls
4 calls:
4.0ms
(tanh (/ t y))
21.0ms
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
77.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
108.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
125.0ms
(tanh (/ t y))
466.0ms
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
340.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
299.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify1.3s

Counts
113 → 113
Iterations

Useful iterations: 2 (453.0ms)

IterNodesCost
02032164
15682103
224431981
done50001981

prune549.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.7b

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.7b
(* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y)))))
1.2b
(* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))
2.2b
(* y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))))

rewrite590.0ms

Algorithm
rewrite-expression-head
Rules
66×associate-*r/
36×pow1 add-exp-log
34×distribute-rgt-in distribute-lft-in
27×frac-sub
23×add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
18×tanh-def
15×add-sqr-sqrt
14×sub-neg
11×*-un-lft-identity
10×associate-*l*
9×add-cube-cbrt
7×cbrt-prod associate-*r*
4×add-log-exp
3×flip3-- *-commutative flip--
2×unswap-sqr
1×pow1/3 distribute-lft-out-- difference-of-squares
Counts
4 → 145
Calls
4 calls:
1.0ms
(cbrt z)
155.0ms
(* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y)))))
57.0ms
(* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))
370.0ms
(* y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
286.0ms
(cbrt z)
406.0ms
(* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y)))))
482.0ms
(* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))
280.0ms
(* y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))))

simplify3.3s

Counts
157 → 157
Iterations

Useful iterations: done (3.3s)

IterNodesCost
02413939
17403904
244163159
done50003062

prune828.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.7b

localize37.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt (cbrt z))
0.7b
(* (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y))))))
1.3b
(* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y)))))
2.2b
(* y (* (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y)))))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
110×pow1 add-exp-log
99×associate-*r/
96×distribute-rgt-in distribute-lft-in
81×pow-prod-down prod-exp cbrt-unprod
60×add-cbrt-cube
28×sub-neg
27×frac-sub
18×tanh-def
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×associate-*l*
4×add-log-exp
3×flip3-- associate-*r* *-commutative flip--
1×pow1/3
Counts
4 → 210
Calls
4 calls:
1.0ms
(cbrt (cbrt z))
367.0ms
(* (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y))))))
154.0ms
(* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y)))))
877.0ms
(* y (* (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y)))))))

series1.8s

Counts
4 → 12
Calls
4 calls:
431.0ms
(cbrt (cbrt z))
464.0ms
(* (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y))))))
566.0ms
(* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y)))))
350.0ms
(* y (* (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (- (tanh (/ t y)) (tanh (/ x y)))))))

simplify2.7s

Counts
222 → 222
Iterations

Useful iterations: 2 (812.0ms)

IterNodesCost
03248437
110838330
249885428
done50005428

prune865.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.7b

regimes241.0ms

Accuracy

0% (1.3b remaining)

Error of 1.9b against oracle of 0.7b and baseline of 1.9b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
11515
done1515

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.0s8337×body80valid
22.0ms95×body640valid
17.0ms47×body1280valid
10.0ms57×body320valid
4.0ms35×body160valid