Details

Time bar (total: 42.3s)

sample440.0ms

Algorithm
intervals
Results
192.0ms1521×body80nan
60.0ms485×body80valid

simplify1.5s

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

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.0b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite324.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:
30.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))
57.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
225.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series615.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* (- t 1.0) (log a))
55.0ms
(* y (log z))
197.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
286.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify836.0ms

Counts
107 → 107
Iterations
IterNodes
done5000
22139
1534
0233

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
99×add-exp-log
75×times-frac
71×add-sqr-sqrt
67×div-exp
45×*-un-lft-identity
43×add-cube-cbrt
36×prod-exp
32×add-cbrt-cube
31×associate-*r*
22×pow-to-exp unpow-prod-down pow-exp
13×cbrt-undiv
12×unswap-sqr sqr-pow
9×associate-/r*
8×unpow-prod-up
7×associate-*l* div-inv
6×associate-*r/ associate-/r/ cbrt-unprod associate-/l*
5×pow1 pow-unpow
4×sub-neg add-log-exp
2×clear-num frac-2neg
1×pow-pow *-commutative distribute-lft-out-- pow-sub difference-of-squares
Counts
4 → 193
Calls
4 calls:
15.0ms
(/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b))))
5.0ms
(pow a (- t 1.0))
28.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
31.0ms
(/ x (/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
380.0ms
(/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b))))
101.0ms
(pow a (- t 1.0))
286.0ms
(* (pow z y) (/ (pow a (- t 1.0)) (exp b)))
313.0ms
(/ x (/ y (* (pow z y) (/ (pow a (- t 1.0)) (exp b)))))

simplify535.0ms

Counts
205 → 205
Iterations
IterNodes
done5000
11004
0351

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (pow a t) (pow a 1.0)) (exp b))
0.0b
(/ y (* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b))))
0.5b
(* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b)))
0.5b
(/ x (/ y (* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b)))))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
757×times-frac
430×add-sqr-sqrt
336×*-un-lft-identity add-cube-cbrt
326×unpow-prod-down
315×add-exp-log
293×div-exp
163×associate-*r*
128×sqr-pow
99×prod-exp
93×pow-to-exp pow-exp
59×associate-/l*
52×add-cbrt-cube
33×unswap-sqr
25×cbrt-undiv
15×div-inv
12×associate-/r*
9×cbrt-unprod
7×associate-*l*
6×associate-*r/ associate-/r/
4×pow1 add-log-exp
3×clear-num frac-2neg
1×*-commutative associate-/l/
Counts
4 → 628
Calls
4 calls:
51.0ms
(/ (/ (pow a t) (pow a 1.0)) (exp b))
59.0ms
(/ y (* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b))))
111.0ms
(* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b)))
60.0ms
(/ x (/ y (* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b)))))

series1.7s

Counts
4 → 12
Calls
4 calls:
259.0ms
(/ (/ (pow a t) (pow a 1.0)) (exp b))
457.0ms
(/ y (* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b))))
456.0ms
(* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b)))
497.0ms
(/ x (/ y (* (pow z y) (/ (/ (pow a t) (pow a 1.0)) (exp b)))))

simplify1.5s

Counts
640 → 640
Iterations
IterNodes
done5001
12631
0904

prune5.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (- (log z)) y)
1.0b
(* (* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b))) (pow (/ 1 (pow a 1.0)) 1.0))
3.5b
(log (pow a t))
5.8b
(* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b)))

rewrite5.3s

Algorithm
rewrite-expression-head
Rules
92×add-exp-log
63×prod-exp
40×add-sqr-sqrt pow-exp
38×associate-*r*
37×unpow-prod-down
33×*-un-lft-identity add-cube-cbrt
31×times-frac div-exp
26×associate-*l*
20×add-cbrt-cube
13×pow-to-exp
10×pow1
9×rec-exp 1-exp
8×cbrt-unprod
7×log-prod
5×associate-*l/ sqr-pow
4×distribute-lft-neg-in distribute-rgt-neg-in exp-diff add-log-exp
3×rem-log-exp exp-sum log-pow *-commutative unswap-sqr
2×frac-times cbrt-undiv pow-prod-down associate-*r/ div-inv
1×distribute-lft-neg-out distribute-neg-in neg-mul-1 sub-neg associate--l+
Counts
4 → 163
Calls
4 calls:
20.0ms
(* (- (log z)) y)
3.9s
(* (* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b))) (pow (/ 1 (pow a 1.0)) 1.0))
4.0ms
(log (pow a t))
1.3s
(* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b)))

series1.0s

Counts
4 → 12
Calls
4 calls:
94.0ms
(* (- (log z)) y)
610.0ms
(* (* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b))) (pow (/ 1 (pow a 1.0)) 1.0))
101.0ms
(log (pow a t))
198.0ms
(* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b)))

simplify2.3s

Counts
175 → 175
Iterations
IterNodes
done5000
24540
1927
0354

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes917.0ms

Accuracy

1.9% (5.8b remaining)

Error of 5.8b against oracle of 0.1b and baseline of 5.9b

bsearch476.0ms

Steps
ItersRangePoint
7
2.7329170152256653e-137
9.085803041807539e-136
4.216998801399995e-137
8
-4.0695437236122496e-279
-6.434266162774175e-284
-1.2188117623873591e-281

simplify8.0ms

Iterations
IterNodes
done50
150
039

end0.0ms

sample13.6s

Algorithm
intervals
Results
6.2s45456×body80nan
2.7s15204×body80valid