Details

Time bar (total: 1.8m)

sample180.0ms

Algorithm
intervals
Results
74.0ms1490×body80nan
30.0ms505×body80valid

simplify727.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (15.0ms)

IterNodesCost
01718
13218
26418
315716
447016
5196016
done500116

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite228.0ms

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

series480.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* y (log z))
149.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
174.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
115.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify596.0ms

Counts
100 → 100
Iterations

Useful iterations: done (593.0ms)

IterNodesCost
01861711
14121676
216581308
done50001302

prune377.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite240.0ms

Algorithm
rewrite-expression-head
Rules
2171×times-frac
827×add-sqr-sqrt
823×add-cube-cbrt *-un-lft-identity
504×exp-sum
324×unpow-prod-down
252×sub-neg associate--l+
205×associate-/l*
108×sqr-pow
42×div-inv
26×add-exp-log
22×add-cbrt-cube
19×div-exp
10×pow1 associate-/r*
9×cbrt-undiv
8×associate-*l*
6×associate-*r*
5×exp-diff associate-/r/
4×add-log-exp
2×pow-to-exp frac-2neg pow-prod-down pow-exp prod-exp clear-num log-pow *-commutative cbrt-unprod associate-/l/ unswap-sqr
Counts
4 → 1005
Calls
4 calls:
3.0ms
(* (log z) y)
3.0ms
(* (log a) t)
92.0ms
(/ (/ (/ x (pow a 1.0)) (exp (- (- b (* (log a) t)) (* (log z) y)))) y)
43.0ms
(/ (/ x (pow a 1.0)) (exp (- (- b (* (log a) t)) (* (log z) y))))

series812.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (log z) y)
66.0ms
(* (log a) t)
346.0ms
(/ (/ (/ x (pow a 1.0)) (exp (- (- b (* (log a) t)) (* (log z) y)))) y)
342.0ms
(/ (/ x (pow a 1.0)) (exp (- (- b (* (log a) t)) (* (log z) y))))

simplify860.0ms

Counts
1017 → 1017
Iterations

Useful iterations: 1 (345.0ms)

IterNodesCost
0131134027
1308530630
done500130630

prune3.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.2b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.5s

Algorithm
rewrite-expression-head
Rules
33251×times-frac
13035×add-sqr-sqrt
12688×*-un-lft-identity
12649×add-cube-cbrt
10356×unpow-prod-down
4480×associate-*r*
3502×sqr-pow
1389×div-exp
1333×add-exp-log
771×div-inv
328×pow-to-exp pow-exp
262×prod-exp
189×associate-/r*
117×rec-exp 1-exp
94×add-cbrt-cube
92×unswap-sqr
54×cbrt-undiv
29×associate-/l*
14×cbrt-unprod
6×pow1
4×add-log-exp
3×frac-2neg associate-*l* clear-num
2×associate-*r/ associate-/r/ associate-/l/
1×pow-prod-down *-commutative
Counts
4 → 9753
Calls
4 calls:
5.0ms
(/ (exp b) (pow a t))
147.0ms
(/ (/ 1 (pow a 1.0)) (/ (/ (exp b) (pow a t)) (pow z y)))
1.4s
(* x (/ (/ 1 (pow a 1.0)) (/ (/ (exp b) (pow a t)) (pow z y))))
307.0ms
(/ (* x (/ (/ 1 (pow a 1.0)) (/ (/ (exp b) (pow a t)) (pow z y)))) y)

series1.1s

Counts
4 → 12
Calls
4 calls:
57.0ms
(/ (exp b) (pow a t))
308.0ms
(/ (/ 1 (pow a 1.0)) (/ (/ (exp b) (pow a t)) (pow z y)))
348.0ms
(* x (/ (/ 1 (pow a 1.0)) (/ (/ (exp b) (pow a t)) (pow z y))))
370.0ms
(/ (* x (/ (/ 1 (pow a 1.0)) (/ (/ (exp b) (pow a t)) (pow z y)))) y)

simplify3.9s

Counts
9765 → 9765
Iterations

Useful iterations: 0 (966.0ms)

IterNodesCost
012127325237
done12127325237

prune1.0m

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
0.8b
(/ (* (* x (/ (/ (* (cbrt 1) (cbrt 1)) (pow (sqrt a) 1.0)) (/ (/ (sqrt (exp b)) (pow (sqrt a) t)) (pow (* (cbrt z) (cbrt z)) y)))) (/ (/ (cbrt 1) (pow (sqrt a) 1.0)) (/ (/ (sqrt (exp b)) (pow (sqrt a) t)) (pow (cbrt z) y)))) y)

rewrite6.2s

Algorithm
rewrite-expression-head
Rules
63337×add-exp-log
49690×div-exp
16960×prod-exp
11215×pow-exp
9731×pow-to-exp
586×add-cbrt-cube
411×cbrt-undiv
168×cbrt-unprod
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-log-exp
3×times-frac pow1/3 associate-*r/ associate-/r* associate-/l/
1×frac-times frac-2neg associate-*l/ clear-num div-inv associate-/l*
Counts
4 → 6545
Calls
4 calls:
0.0ms
(cbrt z)
0.0ms
(cbrt z)
1.0ms
(cbrt z)
4.1s
(/ (* (* x (/ (/ (* (cbrt 1) (cbrt 1)) (pow (sqrt a) 1.0)) (/ (/ (sqrt (exp b)) (pow (sqrt a) t)) (pow (* (cbrt z) (cbrt z)) y)))) (/ (/ (cbrt 1) (pow (sqrt a) 1.0)) (/ (/ (sqrt (exp b)) (pow (sqrt a) t)) (pow (cbrt z) y)))) y)

series1.9s

Counts
4 → 12
Calls
4 calls:
180.0ms
(cbrt z)
181.0ms
(cbrt z)
175.0ms
(cbrt z)
1.4s
(/ (* (* x (/ (/ (* (cbrt 1) (cbrt 1)) (pow (sqrt a) 1.0)) (/ (/ (sqrt (exp b)) (pow (sqrt a) t)) (pow (* (cbrt z) (cbrt z)) y)))) (/ (/ (cbrt 1) (pow (sqrt a) 1.0)) (/ (/ (sqrt (exp b)) (pow (sqrt a) t)) (pow (cbrt z) y)))) y)

simplify1.9s

Counts
6557 → 6557
Iterations

Useful iterations: 0 (764.0ms)

IterNodesCost
02824426507
done5000426507

prune13.7s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes467.0ms

Accuracy

0% (2.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01718
12118
done2118

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.2s45653×body80nan
900.0ms15039×body80valid