Details

Time bar (total: 12.1s)

sample59.0ms

Algorithm
intervals
Results
18.0ms357×body80valid
17.0ms397×body80nan

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 4 (59.0ms)

IterNodesCost
02024
14023
29123
321423
450522
5109822
6197222
7488622
done500022

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.5b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
0.2b
(* (- x 0.5) (log x))
0.2b
(- (* (- x 0.5) (log x)) x)
6.9b
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
23×*-un-lft-identity
21×add-cube-cbrt
12×log-prod
10×add-exp-log add-cbrt-cube
9×pow1 times-frac
8×associate-*l*
7×associate-*r*
6×distribute-rgt-in distribute-lft-in associate--l+ add-log-exp
4×expm1-log1p-u associate-*l/ log1p-expm1-u
3×flip3-- prod-diff associate-/r* flip-- associate-/l*
2×pow-prod-down prod-exp *-commutative cbrt-unprod associate-/l/ unswap-sqr
1×cbrt-undiv sub-neg frac-2neg flip3-+ fma-neg diff-log div-exp clear-num log-pow flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 108
Calls
4 calls:
21.0ms
(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
11.0ms
(* (- x 0.5) (log x))
7.0ms
(- (* (- x 0.5) (log x)) x)
22.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series782.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
253.0ms
(* (- x 0.5) (log x))
409.0ms
(- (* (- x 0.5) (log x)) x)
82.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify823.0ms

Counts
120 → 120
Iterations

Useful iterations: 2 (182.0ms)

IterNodesCost
02381762
15711631
222371467
done50001467

prune459.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (fma (- x 0.5) (log x) (- x)) 0.91893853320467)
0.1b
(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
0.2b
(fma (- x 0.5) (log x) (- x))
6.9b
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
9×times-frac
8×add-exp-log add-cbrt-cube
6×pow1 add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-def associate-*r* associate-*l* associate-/r* associate-/l*
2×flip3-+ associate-*l/ flip-+ fma-udef associate-/l/
1×cbrt-undiv +-commutative associate-+l+ flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out unswap-sqr
Counts
4 → 81
Calls
4 calls:
3.0ms
(+ (fma (- x 0.5) (log x) (- x)) 0.91893853320467)
19.0ms
(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
0.0ms
(fma (- x 0.5) (log x) (- x))
31.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series706.0ms

Counts
4 → 12
Calls
4 calls:
289.0ms
(+ (fma (- x 0.5) (log x) (- x)) 0.91893853320467)
47.0ms
(* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)
287.0ms
(fma (- x 0.5) (log x) (- x))
83.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify475.0ms

Counts
93 → 93
Iterations

Useful iterations: done (472.0ms)

IterNodesCost
01841510
14491416
214071285
done50011253

prune382.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.3b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
0.2b
(fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x))
0.2b
(- (+ (fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) 0.91893853320467) x)
6.9b
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
22×add-sqr-sqrt
20×add-cube-cbrt
12×prod-diff
9×times-frac add-log-exp
6×add-exp-log add-cbrt-cube
5×distribute-lft-out
4×pow1 expm1-log1p-u fma-neg log1p-expm1-u
3×associate-/r* associate-/l*
2×diff-log fma-udef distribute-lft-out--
1×cbrt-undiv sub-neg flip3-- frac-2neg div-exp associate--l+ clear-num sum-log flip-- div-inv difference-of-squares
Counts
4 → 84
Calls
4 calls:
0.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
0.0ms
(fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x))
25.0ms
(- (+ (fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) 0.91893853320467) x)
2.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

series362.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
114.0ms
(fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x))
127.0ms
(- (+ (fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) 0.91893853320467) x)
79.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

simplify562.0ms

Counts
96 → 96
Iterations

Useful iterations: done (559.0ms)

IterNodesCost
01702451
13792310
214262021
done50002017

prune360.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 4.2b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
6.9b
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×cbrt-prod times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-/r* associate-/l*
2×associate-/l/
1×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv
Counts
4 → 70
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)
22.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series635.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt x)
180.0ms
(cbrt x)
185.0ms
(cbrt x)
86.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify1.3s

Counts
82 → 82
Iterations

Useful iterations: 3 (280.0ms)

IterNodesCost
0101939
1225870
2687794
32946767
done5000767

prune384.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 4.2b

regimes463.0ms

Accuracy

87.1% (0.3b remaining)

Error of 3.8b against oracle of 3.5b and baseline of 5.7b

bsearch83.0ms

Steps
ItersRangePoint
8
22276.40736340321
15372542.567402918
12423664.860470358

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03367
14267
done4267

end0.0ms

sample1.7s

Algorithm
intervals
Results
623.0ms11767×body80valid
549.0ms12076×body80nan