Details

Time bar (total: 1.7m)

sample471.0ms

Algorithm
intervals
Results
229.0ms1482×body80nan
61.0ms472×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
01718
13317
27317
318916
451416
5174716
done500016

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite448.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity
21×add-cube-cbrt
13×add-cbrt-cube
12×add-exp-log log-prod exp-sum
10×pow1 add-log-exp
9×prod-diff
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×expm1-log1p-u log1p-expm1-u
3×times-frac 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 → 112
Calls
4 calls:
35.0ms
(* (- t 1.0) (log a))
18.0ms
(* y (log z))
108.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
283.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series614.0ms

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

simplify1.6s

Counts
124 → 124
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02752031
15801829
216521505
done50011399

prune807.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
4560×times-frac
2264×add-sqr-sqrt
2209×*-un-lft-identity
2207×add-cube-cbrt
1258×associate-*r*
1012×unpow-prod-up
994×unpow-prod-down
828×prod-diff
336×sqr-pow
92×sub-neg
77×associate-/r*
70×add-exp-log
58×div-exp
35×div-inv
34×associate-/r/
31×pow-sub
25×add-cbrt-cube
16×pow-to-exp pow-exp
14×prod-exp unswap-sqr
10×cbrt-undiv associate-/l*
7×pow1
5×pow-unpow
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
3×associate-*l*
2×frac-2neg clear-num
1×pow-pow associate-*r/ pow-prod-down *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 1936
Calls
4 calls:
7.0ms
(pow a (- t 1.0))
25.0ms
(/ (exp b) (pow a (- t 1.0)))
46.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
804.0ms
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))

series781.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(pow a (- t 1.0))
98.0ms
(/ (exp b) (pow a (- t 1.0)))
274.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
335.0ms
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))

simplify7.9s

Counts
1948 → 1948
Iterations

Useful iterations: done (7.8s)

IterNodesCost
0339452461
done500145583

prune14.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
5380×times-frac
2668×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1267×associate-*r*
1265×unpow-prod-up
1254×sqrt-prod
1236×unpow-prod-down
1035×prod-diff
412×sqr-pow
136×associate-/r*
115×sub-neg
52×add-exp-log
47×div-exp
44×div-inv
43×associate-/r/
38×pow-sub
28×add-cbrt-cube
17×associate-/l*
15×pow-to-exp pow-exp
9×pow1 cbrt-undiv
6×prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg associate-*r/ pow-prod-down clear-num
2×sqrt-div
1×frac-times associate-*l* associate-*l/ *-commutative
Counts
4 → 2395
Calls
4 calls:
26.0ms
(/ (exp b) (pow a (- t 1.0)))
47.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
40.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
873.0ms
(* (* x (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y))

series956.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ (exp b) (pow a (- t 1.0)))
258.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
264.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
341.0ms
(* (* x (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y))

simplify4.9s

Counts
2407 → 2407
Iterations

Useful iterations: done (4.8s)

IterNodesCost
0376687867
done500078657

prune19.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
4705×times-frac
2292×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1372×sqrt-prod
1267×associate-*r*
1067×unpow-prod-up
1002×unpow-prod-down
873×prod-diff
334×sqr-pow
139×associate-/r*
97×sub-neg
53×add-exp-log
41×add-cbrt-cube
38×div-inv
37×associate-/r/
33×div-exp
32×pow-sub
13×cbrt-undiv
12×prod-exp cbrt-unprod
11×associate-/l*
9×pow1
8×pow-to-exp pow-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg pow-prod-down clear-num
2×associate-*r/
1×sqrt-div associate-*l* *-commutative associate-/l/
Counts
4 → 2036
Calls
4 calls:
15.0ms
(/ (exp b) (pow a (- t 1.0)))
51.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
220.0ms
(/ (* (* x (sqrt (pow z y))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y)) (sqrt (/ (exp b) (pow a (- t 1.0)))))
510.0ms
(* (* x (sqrt (pow z y))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y))

series1.0s

Counts
4 → 12
Calls
4 calls:
109.0ms
(/ (exp b) (pow a (- t 1.0)))
235.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
294.0ms
(/ (* (* x (sqrt (pow z y))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y)) (sqrt (/ (exp b) (pow a (- t 1.0)))))
367.0ms
(* (* x (sqrt (pow z y))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y))

simplify4.9s

Counts
2048 → 2048
Iterations

Useful iterations: done (4.8s)

IterNodesCost
0404765945
done500058559

prune20.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes850.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01718
12118
done2118

end0.0ms

sample14.2s

Algorithm
intervals
Results
6.9s45618×body80nan
2.5s15053×body80valid