Details

Time bar (total: 20.1s)

sample145.0ms

Algorithm
intervals
Results
54.0ms357×body80nan
41.0ms376×body80valid

simplify927.0ms

Counts
1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite276.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt *-un-lft-identity
20×add-cube-cbrt
18×log-prod
12×associate--l+
11×add-log-exp
9×distribute-rgt-in distribute-lft-in times-frac
8×add-exp-log associate-+l+ add-cbrt-cube
7×pow1
5×associate-*l*
4×associate-*r*
3×associate-/r* associate-/l*
2×sub-neg flip3-- flip3-+ diff-log associate-*l/ sum-log flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative associate-+l- frac-2neg div-exp pow-prod-down prod-exp clear-num log-pow *-commutative cbrt-unprod div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 98
Calls
4 calls:
36.0ms
(* (- x 0.5) (log x))
33.0ms
(- (* (- x 0.5) (log x)) x)
89.0ms
(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
113.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series1.6s

Counts
4 → 12
Calls
4 calls:
301.0ms
(* (- x 0.5) (log x))
625.0ms
(- (* (- x 0.5) (log x)) x)
588.0ms
(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
113.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify655.0ms

Counts
110 → 110

prune552.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.5b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×*-un-lft-identity
14×add-cube-cbrt
11×add-log-exp
9×times-frac
8×add-exp-log add-cbrt-cube
7×pow1
5×sub-neg associate-*r*
4×distribute-rgt-in associate-+r+ distribute-lft-in associate-*l*
3×associate-/r* associate-/l*
2×flip3-- flip3-+ diff-log associate-*r/ sum-log flip-- flip-+ associate-/l/ distribute-lft-out-- difference-of-squares
1×cbrt-undiv +-commutative frac-2neg div-exp pow-prod-down prod-exp associate--l+ clear-num log-pow *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 87
Calls
4 calls:
45.0ms
(* (log x) (- x 0.5))
15.0ms
(+ 0.91893853320467 (* (log x) (- x 0.5)))
49.0ms
(- (+ 0.91893853320467 (* (log x) (- x 0.5))) x)
62.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series1.9s

Counts
4 → 12
Calls
4 calls:
436.0ms
(* (log x) (- x 0.5))
711.0ms
(+ 0.91893853320467 (* (log x) (- x 0.5)))
654.0ms
(- (+ 0.91893853320467 (* (log x) (- x 0.5))) x)
126.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify878.0ms

Counts
99 → 99

prune543.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.5b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467)
0.2b
(- (* (log (sqrt x)) (- x 0.5)) x)
0.3b
(+ (* (- x 0.5) (log (sqrt x))) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467))
3.8b
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite413.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
18×associate-+l+ *-un-lft-identity
16×add-sqr-sqrt add-cube-cbrt
12×log-prod
10×distribute-rgt-in distribute-lft-in
9×times-frac
8×associate--l+
7×sum-log
6×add-exp-log sub-neg sqrt-prod add-cbrt-cube
5×flip3-+ flip-+
4×pow1 associate-*l/ frac-add
3×flip3-- diff-log associate-/r* flip-- associate-/l*
2×+-commutative associate-+l- associate-/l/
1×cbrt-undiv associate-+r- associate-+r+ frac-2neg div-exp clear-num div-inv distribute-lft-out
Counts
4 → 96
Calls
4 calls:
92.0ms
(+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467)
22.0ms
(- (* (log (sqrt x)) (- x 0.5)) x)
197.0ms
(+ (* (- x 0.5) (log (sqrt x))) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467))
95.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series817.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467)
241.0ms
(- (* (log (sqrt x)) (- x 0.5)) x)
233.0ms
(+ (* (- x 0.5) (log (sqrt x))) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467))
118.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify1.1s

Counts
108 → 108

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.5b

localize105.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.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 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 → 62
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
73.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series982.0ms

Counts
4 → 12
Calls
4 calls:
303.0ms
(cbrt x)
308.0ms
(cbrt x)
263.0ms
(cbrt x)
107.0ms
(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify1.2s

Counts
74 → 74

prune659.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.5b

regimes408.0ms

Accuracy

2.5% (1.1b remaining)

Error of 5.9b against oracle of 4.8b and baseline of 6.0b

bsearch0.0ms

simplify977.0ms

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.8s11762×body80nan
1.5s11700×body80valid