Details

Time bar (total: 31.4s)

sample182.0ms

Algorithm
intervals
Results
77.0ms1490×body80nan
30.0ms505×body80valid

simplify766.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (18.0ms)

IterNodesCost
01718
13317
27217
317116
449816
5194116
done500016

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* y (log z))
0.3b
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
0.8b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.9b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite249.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
27×*-un-lft-identity
25×add-cube-cbrt
24×exp-sum
19×associate-*r*
18×prod-diff
13×add-cbrt-cube
11×add-exp-log
10×add-log-exp
9×pow1
6×log-prod associate-*l*
5×exp-prod
4×expm1-log1p-u log1p-expm1-u
3×distribute-rgt-in distribute-lft-in times-frac exp-diff prod-exp associate-/r* cbrt-unprod rem-exp-log
2×cbrt-undiv sub-neg diff-log associate-*r/ div-exp pow-prod-down associate--l+ *-commutative unswap-sqr
1×frac-2neg clear-num sum-log log-pow div-inv associate-/l/ associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 114
Calls
4 calls:
4.0ms
(* y (log z))
118.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
84.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
39.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series487.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* y (log z))
158.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
173.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
119.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify834.0ms

Counts
126 → 126
Iterations

Useful iterations: 2 (212.0ms)

IterNodesCost
02392543
15022261
217371812
done50001812

prune471.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (- (log z)) (fma (- (log a)) t b))
0.1b
(fma (- (log a)) t b)
0.8b
(/ (/ (/ x (pow a 1.0)) (exp (fma y (- (log z)) (fma (- (log a)) t b)))) y)
7.4b
(/ (/ x (pow a 1.0)) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
1253×times-frac
533×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
189×unpow-prod-down
129×associate-/l*
128×fma-udef
126×exp-sum
63×sqr-pow
27×div-inv
22×add-exp-log
19×div-exp
18×add-cbrt-cube
9×cbrt-undiv
7×associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
2×pow-to-exp frac-2neg pow-exp clear-num associate-/l/
Counts
4 → 608
Calls
4 calls:
0.0ms
(fma y (- (log z)) (fma (- (log a)) t b))
0.0ms
(fma (- (log a)) t b)
36.0ms
(/ (/ (/ x (pow a 1.0)) (exp (fma y (- (log z)) (fma (- (log a)) t b)))) y)
13.0ms
(/ (/ x (pow a 1.0)) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

series880.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(fma y (- (log z)) (fma (- (log a)) t b))
81.0ms
(fma (- (log a)) t b)
348.0ms
(/ (/ (/ x (pow a 1.0)) (exp (fma y (- (log z)) (fma (- (log a)) t b)))) y)
366.0ms
(/ (/ x (pow a 1.0)) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

simplify1.0s

Counts
620 → 620
Iterations

Useful iterations: 1 (590.0ms)

IterNodesCost
0107022444
1249021673
done500021673

prune3.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (- (log a)) t b)
0.3b
(/ x (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
0.3b
(/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
1.2b
(* (/ x (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))

rewrite490.0ms

Algorithm
rewrite-expression-head
Rules
2043×times-frac
1046×add-sqr-sqrt
843×*-un-lft-identity
825×add-cube-cbrt
541×associate-*r*
469×sqrt-prod
273×unpow-prod-down
128×add-exp-log
109×fma-udef
108×exp-sum
99×sqr-pow
83×div-exp
48×unswap-sqr
43×add-cbrt-cube
36×div-inv
28×associate-/l*
25×associate-*l*
24×prod-exp
20×cbrt-undiv
14×associate-/r*
9×pow-to-exp rec-exp 1-exp pow-exp
8×cbrt-unprod
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×frac-2neg clear-num
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
4 → 947
Calls
4 calls:
0.0ms
(fma (- (log a)) t b)
5.0ms
(/ x (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
16.0ms
(/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
356.0ms
(* (/ x (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
83.0ms
(fma (- (log a)) t b)
227.0ms
(/ x (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
378.0ms
(/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
367.0ms
(* (/ x (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))

simplify470.0ms

Counts
959 → 959
Iterations

Useful iterations: 0 (124.0ms)

IterNodesCost
0149440436
done500140436

prune5.9s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
1.3b
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))
1.3b
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))
1.3b
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))

rewrite417.0ms

Algorithm
rewrite-expression-head
Rules
4852×times-frac
2049×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1623×cbrt-prod
1004×sqrt-prod
639×unpow-prod-down
251×exp-sum fma-udef
213×sqr-pow
84×div-inv
25×associate-/l*
24×add-exp-log
16×div-exp
9×add-cbrt-cube
7×associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv pow-to-exp rec-exp cbrt-div pow1/3 1-exp pow-exp
1×frac-2neg clear-num associate-/l/
Counts
4 → 1888
Calls
4 calls:
15.0ms
(/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
53.0ms
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))
52.0ms
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))
48.0ms
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))

series1.8s

Counts
4 → 12
Calls
4 calls:
384.0ms
(/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
476.0ms
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))
470.0ms
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))
471.0ms
(cbrt (/ (/ (/ 1 (pow a 1.0)) (sqrt (exp (fma y (- (log z)) (fma (- (log a)) t b))))) y))

simplify2.1s

Counts
1900 → 1900
Iterations

Useful iterations: 1 (1.6s)

IterNodesCost
0195792535
1359581825
done500181825

prune4.7s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes472.0ms

Accuracy

47.8% (0.6b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 1.2b

bsearch1.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
041128
14892
done4892

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.3s45653×body80nan
907.0ms15039×body80valid