Details

Time bar (total: 36.1s)

sample403.0ms

Algorithm
intervals
Results
193.0ms1374×body80nan
54.0ms482×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5000
53114
4560
3180
265
132
017

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite359.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
3×associate-/r* times-frac exp-sum prod-exp 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×clear-num sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ div-inv flip-- associate-/l* associate-/l/
Counts
4 → 95
Calls
4 calls:
27.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))
87.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
233.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series607.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* (- t 1.0) (log a))
66.0ms
(* y (log z))
164.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
297.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify960.0ms

Counts
107 → 107
Iterations
IterNodes
done5000
22139
1534
0233

prune931.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow a (- t 1.0)) (exp b))
0.0b
(/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b))))
0.2b
(pow a (- t 1.0))
0.8b
(/ x (/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
84×add-exp-log
66×times-frac
61×div-exp
45×add-sqr-sqrt *-un-lft-identity
43×add-cube-cbrt
29×add-cbrt-cube
24×prod-exp
16×pow-to-exp pow-exp
15×unpow-prod-down associate-/l*
13×cbrt-undiv
12×associate-/r*
10×unpow-prod-up
7×div-inv
6×associate-/r/
5×pow1 pow-unpow sub-neg associate-*r/ sqr-pow
4×cbrt-unprod add-log-exp
3×clear-num frac-2neg
2×pow-sub
1×pow-pow distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 174
Calls
4 calls:
18.0ms
(/ (pow a (- t 1.0)) (exp b))
22.0ms
(/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b))))
5.0ms
(pow a (- t 1.0))
24.0ms
(/ x (/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))

series834.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(/ (pow a (- t 1.0)) (exp b))
318.0ms
(/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b))))
96.0ms
(pow a (- t 1.0))
303.0ms
(/ x (/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))

simplify2.1s

Counts
186 → 186
Iterations
IterNodes
done5000
24187
1857
0326

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (pow (sqrt a) (- t 1.0)) (/ (exp b) (pow (sqrt a) (- t 1.0))))
0.3b
(pow (sqrt a) (- t 1.0))
0.3b
(pow (sqrt a) (- t 1.0))
0.8b
(/ x (/ y (* (pow z y) (/ (pow (sqrt a) (- t 1.0)) (/ (exp b) (pow (sqrt a) (- t 1.0)))))))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
996×times-frac
498×unpow-prod-down
443×add-sqr-sqrt *-un-lft-identity
439×add-cube-cbrt
249×sqrt-prod
186×add-exp-log
166×unpow-prod-up
165×div-exp
83×sub-neg sqr-pow
49×associate-/r*
43×pow-to-exp pow-exp
39×prod-exp
29×add-cbrt-cube
19×associate-/r/ div-inv
16×pow-sub
15×cbrt-undiv associate-/l*
10×pow-unpow
8×pow1
6×pow-pow
4×associate-*r/ add-log-exp
3×cbrt-unprod
2×clear-num frac-2neg sqrt-pow1 pow1/2 sqrt-pow2 distribute-lft-out-- difference-of-squares
1×associate-/l/
Counts
4 → 719
Calls
4 calls:
29.0ms
(/ (pow (sqrt a) (- t 1.0)) (/ (exp b) (pow (sqrt a) (- t 1.0))))
5.0ms
(pow (sqrt a) (- t 1.0))
5.0ms
(pow (sqrt a) (- t 1.0))
53.0ms
(/ x (/ y (* (pow z y) (/ (pow (sqrt a) (- t 1.0)) (/ (exp b) (pow (sqrt a) (- t 1.0)))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
380.0ms
(/ (pow (sqrt a) (- t 1.0)) (/ (exp b) (pow (sqrt a) (- t 1.0))))
260.0ms
(pow (sqrt a) (- t 1.0))
204.0ms
(pow (sqrt a) (- t 1.0))
668.0ms
(/ x (/ y (* (pow z y) (/ (pow (sqrt a) (- t 1.0)) (/ (exp b) (pow (sqrt a) (- t 1.0)))))))

simplify1.9s

Counts
731 → 731
Iterations
IterNodes
done5000
12855
01011

prune4.6s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (* (pow z y) (pow a (- t 1.0))))
0.2b
(pow a (- t 1.0))
0.8b
(* (/ 1 y) (/ (* x (* (pow z y) (pow a (- t 1.0)))) (exp b)))
1.7b
(/ (* x (* (pow z y) (pow a (- t 1.0)))) (exp b))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
212×add-exp-log
162×prod-exp
79×div-exp
50×add-cbrt-cube
37×pow-to-exp pow-exp
27×add-sqr-sqrt
21×*-un-lft-identity
20×cbrt-unprod
18×add-cube-cbrt
17×times-frac
16×associate-*l*
13×cbrt-undiv
12×rec-exp 1-exp
9×pow1
8×associate-*r*
5×pow-unpow associate-*r/
4×add-log-exp
3×associate-/r* unpow-prod-down div-inv pow-sub unswap-sqr
2×unpow-prod-up pow-prod-down *-commutative
1×frac-times clear-num sub-neg pow-pow frac-2neg associate-*l/ associate-/l* distribute-lft-out-- difference-of-squares sqr-pow associate-/l/
Counts
4 → 171
Calls
4 calls:
43.0ms
(* x (* (pow z y) (pow a (- t 1.0))))
9.0ms
(pow a (- t 1.0))
99.0ms
(* (/ 1 y) (/ (* x (* (pow z y) (pow a (- t 1.0)))) (exp b)))
49.0ms
(/ (* x (* (pow z y) (pow a (- t 1.0)))) (exp b))

series964.0ms

Counts
4 → 12
Calls
4 calls:
222.0ms
(* x (* (pow z y) (pow a (- t 1.0))))
81.0ms
(pow a (- t 1.0))
351.0ms
(* (/ 1 y) (/ (* x (* (pow z y) (pow a (- t 1.0)))) (exp b)))
310.0ms
(/ (* x (* (pow z y) (pow a (- t 1.0)))) (exp b))

simplify408.0ms

Counts
183 → 183
Iterations
IterNodes
done5000
1883
0279

prune950.0ms

Pruning

5 alts after pruning (2 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

simplify2.0ms

Iterations
IterNodes
done21
121
017

end0.0ms

sample14.5s

Algorithm
intervals
Results
6.2s44991×body80nan
3.5s15102×body80valid