Details

Time bar (total: 39.7s)

sample194.0ms

Algorithm
intervals
Results
80.0ms107×body1280valid
65.0ms87×body640valid
19.0ms232×body80valid
11.0ms35×body320valid
4.0ms19×body160valid

simplify91.0ms

Calls
1 calls:
Slowest
91.0ms
(/ (- (exp x) (exp (- x))) 2)

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.2b

localize25.0ms

Local error

Found 1 expressions with local error:

5.8b
(- (exp x) (exp (- x)))

rewrite409.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out-- difference-of-squares
Calls
1 calls:
Slowest
409.0ms
(- (exp x) (exp (- x)))

series50.0ms

Calls
1 calls:
Slowest
50.0ms
(- (exp x) (exp (- x)))

simplify619.0ms

Calls
7 calls:
Slowest
361.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
98.0ms
(- (exp x) (exp (* -1 x)))
64.0ms
(/ (exp (exp x)) (exp (exp (- x))))
30.0ms
(- (exp x) (exp (- x)))
23.0ms
(- (sqrt (exp x)) (sqrt (exp (- x))))

prune174.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 x)
0.1b
(* x (* 1/3 x))
0.0b
(* (pow x 5) 1/60)
0.0b
(* x (+ (* x (* 1/3 x)) 2))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×add-exp-log
16×associate-*l*
15×add-cbrt-cube
13×pow1
12×*-un-lft-identity add-cube-cbrt
10×associate-*r*
8×prod-exp
6×cbrt-unprod
5×pow-prod-down unswap-sqr
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
2×associate-*r/ sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in flip3-+ pow-exp flip-+
Calls
4 calls:
Slowest
64.0ms
(* x (+ (* x (* 1/3 x)) 2))
16.0ms
(* x (* 1/3 x))
11.0ms
(* 1/3 x)
9.0ms
(* (pow x 5) 1/60)

series260.0ms

Calls
4 calls:
Slowest
122.0ms
(* x (+ (* x (* 1/3 x)) 2))
78.0ms
(* (pow x 5) 1/60)
44.0ms
(* x (* 1/3 x))
16.0ms
(* 1/3 x)

simplify3.4s

Calls
61 calls:
Slowest
460.0ms
(+ (* (* x (* 1/3 x)) (* x (* 1/3 x))) (- (* 2 2) (* (* x (* 1/3 x)) 2)))
292.0ms
(* (* (* x x) x) (* (* (+ (* x (* 1/3 x)) 2) (+ (* x (* 1/3 x)) 2)) (+ (* x (* 1/3 x)) 2)))
248.0ms
(* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x)))
229.0ms
(* (* (* (pow x 5) (pow x 5)) (pow x 5)) (* (* 1/60 1/60) 1/60))
221.0ms
(* (* (* x x) x) (* (* (* 1/3 1/3) 1/3) (* (* x x) x)))

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (exp x) (exp (- x)))
5.8b
(- (exp x) (exp (- x)))
5.8b
(- (exp x) (exp (- x)))
0.1b
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
30×flip3-- flip--
28×frac-times
26×cbrt-div
14×associate-*l/
10×add-sqr-sqrt *-un-lft-identity add-log-exp
8×associate-*r/
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
3×sub-neg diff-log distribute-lft-out-- difference-of-squares
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
103.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))
20.0ms
(- (exp x) (exp (- x)))
12.0ms
(- (exp x) (exp (- x)))
12.0ms
(- (exp x) (exp (- x)))

series194.0ms

Calls
4 calls:
Slowest
61.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))))
47.0ms
(- (exp x) (exp (- x)))
45.0ms
(- (exp x) (exp (- x)))
41.0ms
(- (exp x) (exp (- x)))

simplify12.8s

Calls
52 calls:
Slowest
1.1s
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))
1.0s
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
917.0ms
(cbrt (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (- (pow (exp x) 3) (pow (exp (- x)) 3))))
799.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
632.0ms
(cbrt (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (- (exp x) (exp (- x)))))

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

5.8b
(+ (/ -1 (exp x)) (exp x))
5.8b
(- (exp x) (exp (- x)))
5.8b
(- (exp x) (exp (- x)))
0.1b
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (+ (/ -1 (exp x)) (exp x))))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
28×frac-times
26×cbrt-div
20×flip3-- flip--
14×associate-*l/
10×*-un-lft-identity flip3-+ flip-+ add-log-exp
8×add-sqr-sqrt associate-*r/
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
2×sub-neg diff-log distribute-lft-out-- difference-of-squares
1×cbrt-prod +-commutative sum-log pow1/3 distribute-lft-out
Calls
4 calls:
Slowest
171.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (+ (/ -1 (exp x)) (exp x))))
29.0ms
(+ (/ -1 (exp x)) (exp x))
22.0ms
(- (exp x) (exp (- x)))
22.0ms
(- (exp x) (exp (- x)))

series537.0ms

Calls
4 calls:
Slowest
357.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (+ (/ -1 (exp x)) (exp x))))
74.0ms
(+ (/ -1 (exp x)) (exp x))
55.0ms
(- (exp x) (exp (- x)))
51.0ms
(- (exp x) (exp (- x)))

simplify12.0s

Calls
49 calls:
Slowest
1.3s
(cbrt (* (* (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x))))
940.0ms
(cbrt (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (/ -1 (exp x)) (exp x))))
643.0ms
(cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (* (/ -1 (exp x)) (/ -1 (exp x))) (* (exp x) (exp x)))))
563.0ms
(pow (* (pow (- (exp x) (exp (- x))) 2) (- (exp x) (/ 1 (exp x)))) 1/3)
417.0ms
(cbrt (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (pow (/ -1 (exp x)) 3) (pow (exp x) 3))))

prune984.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes26.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch5.0ms

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.7s3310×body1280valid
1.2s2490×body640valid
630.0ms8265×body80valid
366.0ms1258×body320valid
103.0ms648×body160valid