Details

Time bar (total: 1.2m)

sample423.0ms

Algorithm
intervals
Results
182.0ms1417×body80nan
55.0ms479×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
01718
13218
26518
318016
455916
5306416
done500116

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- t 1.0) (log a))
0.2b
(* y (log z))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite335.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×add-exp-log log-prod
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
3×times-frac exp-sum prod-exp associate-/r* cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×sub-neg flip3-- frac-2neg associate-*r/ associate--l+ clear-num sum-log flip-- div-inv associate-/l/ associate-/l*
Counts
4 → 95
Calls
4 calls:
39.0ms
(* (- t 1.0) (log a))
15.0ms
(* y (log z))
78.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
199.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series529.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (- t 1.0) (log a))
61.0ms
(* y (log z))
194.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
202.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify897.0ms

Counts
107 → 107
Iterations

Useful iterations: done (893.0ms)

IterNodesCost
02311531
15301495
221501215
done50001196

prune711.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))))
0.3b
(* (- (log a)) t)
0.5b
(/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))
1.2b
(/ (* x (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))) y)

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
2662×times-frac
1292×unpow-prod-down
1140×add-sqr-sqrt
1081×*-un-lft-identity
1078×add-cube-cbrt
499×associate-*r*
247×exp-sum
224×sqr-pow
163×add-exp-log
150×div-exp
124×associate-/l*
75×div-inv
54×pow-exp
41×prod-exp
34×add-cbrt-cube
27×pow-to-exp
18×unswap-sqr
15×associate-*l*
13×cbrt-undiv
10×pow1
9×rec-exp 1-exp
7×associate-/r* cbrt-unprod
4×distribute-lft-neg-in distribute-rgt-neg-in add-log-exp
2×frac-2neg associate-*r/ pow-prod-down clear-num log-pow *-commutative associate-/l/
1×distribute-lft-neg-out neg-mul-1
Counts
4 → 1271
Calls
4 calls:
403.0ms
(* x (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))))
18.0ms
(* (- (log a)) t)
122.0ms
(/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))
467.0ms
(/ (* x (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))) y)

series1.4s

Counts
4 → 12
Calls
4 calls:
453.0ms
(* x (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b))))
86.0ms
(* (- (log a)) t)
337.0ms
(/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))
502.0ms
(/ (* x (/ (/ (pow a (- 1.0)) (pow (/ 1 z) y)) (exp (+ (* (- (log a)) t) b)))) y)

simplify1.3s

Counts
1283 → 1283
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0187341178
done500039001

prune9.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
2982×times-frac
1548×unpow-prod-down
1238×add-sqr-sqrt
1236×add-cube-cbrt *-un-lft-identity
912×add-exp-log
819×sqrt-prod
691×div-exp
583×associate-*r*
463×prod-exp
289×exp-sum
243×sqr-pow
204×pow-to-exp pow-exp
145×associate-/l*
94×add-cbrt-cube
75×div-inv
66×rec-exp 1-exp
37×cbrt-undiv
31×cbrt-unprod
13×pow1 associate-*l*
7×associate-/r*
6×associate-*r/ associate-/l/
4×distribute-lft-neg-in frac-times distribute-rgt-neg-in pow-prod-down associate-*l/ un-div-inv add-log-exp
2×frac-2neg clear-num log-pow *-commutative
1×distribute-lft-neg-out neg-mul-1 unswap-sqr
Counts
4 → 1655
Calls
4 calls:
21.0ms
(* (- (log a)) t)
111.0ms
(/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))
428.0ms
(* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b))))
195.0ms
(/ (* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))) y)

series2.1s

Counts
4 → 12
Calls
4 calls:
68.0ms
(* (- (log a)) t)
475.0ms
(/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))
731.0ms
(* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b))))
808.0ms
(/ (* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))) y)

simplify2.0s

Counts
1667 → 1667
Iterations

Useful iterations: done (1.9s)

IterNodesCost
0214662820
done500060462

prune14.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
2988×times-frac
2558×add-exp-log
1644×prod-exp
1638×div-exp
1548×unpow-prod-down
1243×add-sqr-sqrt
1241×add-cube-cbrt *-un-lft-identity
819×sqrt-prod
596×associate-*r*
501×pow-to-exp pow-exp
289×exp-sum
287×rec-exp 1-exp
243×sqr-pow
151×add-cbrt-cube
144×associate-/l*
75×div-inv
66×cbrt-unprod
49×cbrt-undiv
22×pow1
14×associate-*l*
11×frac-times associate-*l/
10×associate-*r/ pow-prod-down
7×un-div-inv
4×distribute-lft-neg-in distribute-rgt-neg-in associate-/r* add-log-exp
3×*-commutative
2×log-pow
1×distribute-lft-neg-out neg-mul-1 frac-2neg clear-num associate-/l/ unswap-sqr
Counts
4 → 2046
Calls
4 calls:
25.0ms
(* (- (log a)) t)
141.0ms
(/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))
530.0ms
(* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b))))
1.1s
(* (* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))) (/ 1 y))

series2.1s

Counts
4 → 12
Calls
4 calls:
97.0ms
(* (- (log a)) t)
474.0ms
(/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))
753.0ms
(* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b))))
777.0ms
(* (* (* x (/ 1 (pow (sqrt (/ 1 z)) y))) (/ (/ (pow a (- 1.0)) (pow (sqrt (/ 1 z)) y)) (exp (+ (* (- (log a)) t) b)))) (/ 1 y))

simplify2.3s

Counts
2058 → 2058
Iterations

Useful iterations: done (2.2s)

IterNodesCost
0232978983
done500175792

prune15.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes1.3s

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01718
12118
done2118

end0.0ms

sample12.5s

Algorithm
intervals
Results
5.2s45533×body80nan
2.8s15171×body80valid