Details

Time bar (total: 36.1s)

sample375.0ms

Algorithm
intervals
Results
153.0ms1479×body80nan
73.0ms477×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 3 (40.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

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite392.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:
26.0ms
(* (- t 1.0) (log a))
9.0ms
(* y (log z))
252.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
101.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series608.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(* (- t 1.0) (log a))
56.0ms
(* y (log z))
280.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
177.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify1.2s

Counts
107 → 107
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02311531
15301495
221481219
done50011198

prune776.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite888.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
40×associate-*r*
34×times-frac
31×add-cube-cbrt *-un-lft-identity
28×add-exp-log
27×associate-*l*
22×add-cbrt-cube
14×pow1
13×unpow-prod-down
11×div-exp
10×prod-exp
8×distribute-lft-neg-in distribute-rgt-neg-in
7×exp-sum
6×cbrt-unprod unswap-sqr
5×cbrt-undiv sqr-pow
4×distribute-lft-neg-out log-pow add-log-exp
3×pow-prod-down associate-/r* *-commutative
2×pow-to-exp associate-+l- neg-mul-1 exp-diff associate-*r/ pow-exp associate-/r/ div-inv
1×frac-2neg unsub-neg clear-num associate-/l/ associate-/l*
Counts
4 → 139
Calls
4 calls:
526.0ms
(* x (/ (pow a (- 1.0)) (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b))))
23.0ms
(* (- (log z)) y)
13.0ms
(* (- (log a)) t)
319.0ms
(/ (* x (/ (pow a (- 1.0)) (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b)))) y)

series1.3s

Counts
4 → 12
Calls
4 calls:
529.0ms
(* x (/ (pow a (- 1.0)) (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b))))
95.0ms
(* (- (log z)) y)
86.0ms
(* (- (log a)) t)
545.0ms
(/ (* x (/ (pow a (- 1.0)) (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b)))) y)

simplify2.5s

Counts
151 → 151
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03002929
18112845
241212322
done50012294

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite605.0ms

Algorithm
rewrite-expression-head
Rules
44×add-exp-log
28×add-cbrt-cube
20×add-sqr-sqrt associate-*l*
19×div-exp
14×pow1 add-cube-cbrt *-un-lft-identity
11×prod-exp
9×cbrt-undiv associate-*r*
7×cbrt-unprod
4×distribute-lft-neg-in distribute-rgt-neg-in log-pow add-log-exp
3×times-frac pow-prod-down associate-/r* *-commutative associate-/l/ unswap-sqr
2×pow-to-exp pow-exp
1×distribute-lft-neg-out frac-times neg-mul-1 frac-2neg associate-*r/ associate-*l/ clear-num div-inv associate-/l*
Counts
4 → 100
Calls
4 calls:
9.0ms
(* (log z) y)
8.0ms
(* (log a) t)
18.0ms
(* (- (log a)) t)
566.0ms
(/ (* (/ x (sqrt (exp (- (- b (* (log a) t)) (* (log z) y))))) (/ (pow a (- 1.0)) (sqrt (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b))))) y)

series908.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (log z) y)
109.0ms
(* (log a) t)
103.0ms
(* (- (log a)) t)
598.0ms
(/ (* (/ x (sqrt (exp (- (- b (* (log a) t)) (* (log z) y))))) (/ (pow a (- 1.0)) (sqrt (exp (+ (+ (* (- (log z)) y) (* (- (log a)) t)) b))))) y)

simplify1.8s

Counts
112 → 112
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02332359
16422201
234201584
done50011575

prune808.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log a) t)
1.4b
(/ x (* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y)))))
4.3b
(* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y))))
6.2b
(cbrt (pow (/ x (* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y))))) 3))

rewrite602.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
33×times-frac
31×associate-*l*
28×add-cube-cbrt *-un-lft-identity
26×cbrt-prod
24×add-exp-log
20×unpow-prod-down add-cbrt-cube
11×div-exp associate-/r/
10×cube-prod associate-*r*
9×pow1 prod-exp
8×exp-diff
5×cbrt-undiv cbrt-unprod unswap-sqr sqr-pow
4×frac-times associate-*r/ exp-sum associate-*l/ div-inv add-log-exp
3×associate-/l*
2×pow-to-exp sub-neg pow-prod-down pow-exp associate--l+ *-commutative
1×cube-div neg-sub0 cube-mult pow-neg cbrt-div frac-2neg pow1/3 unpow3 clear-num associate-/r* log-pow rem-cbrt-cube pow-sub
Counts
4 → 139
Calls
4 calls:
8.0ms
(* (log a) t)
249.0ms
(/ x (* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y)))))
286.0ms
(* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y))))
53.0ms
(cbrt (pow (/ x (* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y))))) 3))

series1.4s

Counts
4 → 12
Calls
4 calls:
108.0ms
(* (log a) t)
484.0ms
(/ x (* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y)))))
243.0ms
(* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y))))
530.0ms
(cbrt (pow (/ x (* (/ y (pow a (- 1.0))) (exp (- (- b (* (log a) t)) (* (log z) y))))) 3))

simplify2.7s

Counts
151 → 151
Iterations

Useful iterations: 2 (901.0ms)

IterNodesCost
02893751
18013096
248352797
done50012797

prune978.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes444.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
02938
13838
24837
done4837

end0.0ms

sample14.4s

Algorithm
intervals
Results
6.8s46274×body80nan
2.8s15201×body80valid