Details

Time bar (total: 35.9s)

sample706.0ms

Algorithm
intervals
Results
551.0ms1483×body80nan
46.0ms472×body80valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5001
53079
4563
3190
273
133
017

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite377.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity
21×add-cube-cbrt
13×add-cbrt-cube
12×log-prod exp-sum add-exp-log
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×associate-/r* times-frac 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 → 112
Calls
4 calls:
30.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))
88.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
244.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series612.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(* (- t 1.0) (log a))
76.0ms
(* y (log z))
180.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
250.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify2.1s

Counts
124 → 124
Iterations
IterNodes
done5001
22439
1624
0277

prune1.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.5b

localize61.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (- (log z)) (fma t (- (log a)) b))
0.1b
(fma t (- (log a)) b)
0.7b
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
1.5b
(/ x (/ y (exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
58×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×associate-/r*
15×fma-udef
13×distribute-neg-in exp-sum
10×exp-prod
9×add-cbrt-cube associate-/r/
8×add-exp-log
6×add-log-exp
5×neg-sub0 exp-neg exp-diff div-inv
4×expm1-log1p-u pow1 log1p-expm1-u
3×distribute-lft-neg-in cbrt-undiv distribute-rgt-neg-in div-exp associate-/l*
2×rem-exp-log
1×clear-num neg-mul-1 frac-2neg neg-log
Counts
4 → 136
Calls
4 calls:
0.0ms
(fma y (- (log z)) (fma t (- (log a)) b))
0.0ms
(fma t (- (log a)) b)
4.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
24.0ms
(/ x (/ y (exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))))

series726.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(fma y (- (log z)) (fma t (- (log a)) b))
90.0ms
(fma t (- (log a)) b)
246.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
291.0ms
(/ x (/ y (exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))))

simplify2.4s

Counts
148 → 148
Iterations
IterNodes
done5001
23418
1760
0312

prune1.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.4b

localize108.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.7b
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
0.7b
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
20×exp-prod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×add-log-exp
6×cbrt-prod distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u rem-exp-log
2×neg-sub0 exp-neg distribute-neg-in neg-mul-1 exp-diff pow1/3 exp-sum neg-log fma-udef
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
8.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
8.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
322.0ms
(cbrt y)
241.0ms
(cbrt y)
263.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
301.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))

simplify1.8s

Counts
86 → 86
Iterations
IterNodes
done5001
32547
2603
1217
0110

prune1.4s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 0.4b

localize129.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.7b
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
0.7b
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
20×exp-prod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×add-log-exp
6×cbrt-prod distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u rem-exp-log
2×neg-sub0 exp-neg distribute-neg-in neg-mul-1 exp-diff pow1/3 exp-sum neg-log fma-udef
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
4.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
4.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
274.0ms
(cbrt y)
272.0ms
(cbrt y)
269.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))
309.0ms
(exp (- (fma 1.0 (log a) (fma y (- (log z)) (fma t (- (log a)) b)))))

simplify2.0s

Counts
86 → 86
Iterations
IterNodes
done5001
32547
2603
1217
0110

prune1.3s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 0.3b

regimes3.4s

Accuracy

0% (0.4b remaining)

Error of 1.0b against oracle of 0.6b and baseline of 1.0b

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done36
136
030

end0.0ms

sample11.4s

Algorithm
intervals
Results
6.5s45770×body80nan
2.0s15047×body80valid