Details

Time bar (total: 37.7s)

sample48.0ms

Algorithm
intervals
Results
23.0ms336×body80valid

simplify118.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010205
115205
225205
341205
462205
579205
695205
7112205
8120205
9123205
done123205

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
0.0b
(/ t (- 1.0 z))
4.0b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite440.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*l* associate-*r/ log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
62.0ms
(- (/ y z) (/ t (- 1.0 z)))
17.0ms
(/ t (- 1.0 z))
254.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series155.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(- (/ y z) (/ t (- 1.0 z)))
38.0ms
(/ t (- 1.0 z))
64.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify4.5s

Counts
936 → 936
Iterations

Useful iterations: done (4.2s)

IterNodesCost
01009798366
12222709802
done5000648333

prune6.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1 (- 1.0 z)) t)
0.2b
(* (/ 1 (- 1.0 z)) t)
4.0b
(* x (+ (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
27.0b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
45×associate-*l*
42×*-un-lft-identity
34×times-frac
26×add-cube-cbrt
24×add-exp-log
16×add-cbrt-cube
10×pow1 associate-*r*
9×prod-exp
7×unswap-sqr
6×distribute-lft-out-- difference-of-squares
5×cbrt-unprod
4×expm1-log1p-u div-exp associate-/r/ log1p-expm1-u add-log-exp
3×pow-prod-down *-commutative
2×cbrt-undiv rec-exp flip3-- 1-exp associate-*l/ associate-*r/ div-inv flip--
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+ fma-udef distribute-lft-out
Counts
4 → 125
Calls
4 calls:
45.0ms
(* (/ 1 (- 1.0 z)) t)
43.0ms
(* (/ 1 (- 1.0 z)) t)
27.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
1.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series319.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (/ 1 (- 1.0 z)) t)
39.0ms
(* (/ 1 (- 1.0 z)) t)
141.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
101.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify2.3s

Counts
137 → 137
Iterations

Useful iterations: done (2.2s)

IterNodesCost
017539288
145433915
2198428363
done500027000

prune946.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (- (/ y z) (/ t (- 1.0 z))))
5.1b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.1b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.1b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

rewrite522.0ms

Algorithm
rewrite-expression-head
Rules
776×times-frac
704×add-sqr-sqrt
701×*-un-lft-identity
546×prod-diff
534×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
82×distribute-lft-out-- difference-of-squares
68×div-inv
52×associate-/r/
30×flip3-- flip--
12×associate-*r/
10×associate-*r*
9×cbrt-div
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u frac-sub log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l*
2×sub-neg
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 622
Calls
4 calls:
288.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
41.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
53.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
57.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
55.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
349.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
364.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
324.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify4.1s

Counts
634 → 634
Iterations

Useful iterations: done (3.7s)

IterNodesCost
01013559806
12200499660
done5002458459

prune4.7s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (- (/ y z) (/ t (- 1.0 z))))
5.1b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.1b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.4b
(cbrt (- (/ y z) (/ t (- 1.0 z))))

rewrite385.0ms

Algorithm
rewrite-expression-head
Rules
784×times-frac
717×add-sqr-sqrt
713×*-un-lft-identity
546×prod-diff
535×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
86×distribute-lft-out-- difference-of-squares
68×div-inv
52×associate-/r/
30×flip3-- flip--
12×cbrt-prod
10×associate-*r*
9×cbrt-div associate-*r/
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u frac-sub log1p-expm1-u add-log-exp
3×pow1/3 associate-*l*
2×sub-neg
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 631
Calls
4 calls:
216.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
45.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
35.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
30.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

series864.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
292.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
339.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
161.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify4.0s

Counts
643 → 643
Iterations

Useful iterations: done (3.7s)

IterNodesCost
01061564198
12281502832
done5002461810

prune5.0s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes653.0ms

Accuracy

50.1% (2.3b remaining)

Error of 2.4b against oracle of 0.0b and baseline of 4.8b

bsearch2.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0321098
1511098
2531098
done531098

end0.0ms

sample896.0ms

Algorithm
intervals
Results
587.0ms10073×body80valid