Details

Time bar (total: 2.2m)

sample113.0ms

Algorithm
intervals
Results
40.0ms57×body1280valid
25.0ms128×body80valid
22.0ms43×body640valid
6.0ms17×body320valid
3.0ms11×body160valid

simplify115.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
114.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.2b

localize27.0ms

Local error

Found 3 expressions with local error:

2.9b
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
0.0b
(/ 2 (+ 1 (exp (* -2 x))))
0.0b
(+ 1 (exp (* -2 x)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
23×add-sqr-sqrt
15×times-frac
12×add-cube-cbrt
7×add-log-exp
5×add-cbrt-cube add-exp-log distribute-lft-out
4×associate-/r* difference-of-squares
3×pow1 insert-posit16 associate-/l*
2×flip3-+ difference-of-sqr-1 associate-/r/ flip-+
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- distribute-lft-out--
Counts
3 → 67
Calls
3 calls:
Slowest
95.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
23.0ms
(/ 2 (+ 1 (exp (* -2 x))))
6.0ms
(+ 1 (exp (* -2 x)))

series116.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
74.0ms
(- (/ 2 (+ 1 (exp (* -2 x)))) 1)
31.0ms
(/ 2 (+ 1 (exp (* -2 x))))
11.0ms
(+ 1 (exp (* -2 x)))

simplify14.4s

Counts
98 → 76
Calls
98 calls:
Slowest
678.0ms
(/ 2 (- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x)))))
629.0ms
(- (* 1 1) (* (exp (* -2 x)) (exp (* -2 x))))
467.0ms
(* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))
435.0ms
(/ 2 (* (cbrt (+ 1 (exp (* -2 x)))) (cbrt (+ 1 (exp (* -2 x))))))
362.0ms
(+ (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (+ (* 1 1) (* (/ 2 (+ 1 (exp (* -2 x)))) 1)))

prune744.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

2.9b
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
0.0b
(/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1))
0.0b
(* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))
0.0b
(/ 2 (+ 1 (exp (* -2 x))))

rewrite599.0ms

Algorithm
rewrite-expression-head
Rules
49×add-cbrt-cube add-exp-log
43×*-un-lft-identity
34×times-frac
32×add-sqr-sqrt
29×add-cube-cbrt
23×pow1
18×associate-*r* prod-exp cbrt-unprod
15×cbrt-undiv div-exp
7×associate-/r* distribute-lft-out
6×pow-plus associate-/r/ pow-prod-up associate-/l* add-log-exp
5×frac-times associate-*l/
4×insert-posit16
3×flip3-+ pow-prod-down associate-*r/ flip-+ div-inv
2×pow2 clear-num frac-2neg flip3-- pow-sqr flip-- unswap-sqr associate-/l/
1×sub-neg diff-log div-sub associate-*l* pow3 *-commutative
Counts
4 → 148
Calls
4 calls:
Slowest
361.0ms
(/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1))
114.0ms
(* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))
100.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
20.0ms
(/ 2 (+ 1 (exp (* -2 x))))

series477.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
305.0ms
(/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1))
88.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
48.0ms
(* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))
35.0ms
(/ 2 (+ 1 (exp (* -2 x))))

simplify50.2s

Counts
189 → 160
Calls
189 calls:
Slowest
836.0ms
(* (* (/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1)) (/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1))) (/ (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (+ (* (+ (/ 2 (+ 1 (exp (* -2 x)))) 1) (/ 2 (+ 1 (exp (* -2 x))))) 1)))
804.0ms
(* (* (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x)))))) (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))))
772.0ms
(* (* (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (/ (* (* 2 2) 2) (* (* (+ 1 (exp (* -2 x))) (+ 1 (exp (* -2 x)))) (+ 1 (exp (* -2 x))))))
753.0ms
(+ (log (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))))) (- (log 2) (log (+ 1 (exp (* -2 x))))))
726.0ms
(* (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))))) (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x)))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))))

prune1.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
30×flip3-- flip--
28×frac-times
26×cbrt-div
14×associate-*l/
10×add-log-exp
8×associate-*r/
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
3×sub-neg diff-log
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 76
Calls
4 calls:
Slowest
879.0ms
(cbrt (* (* (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))
108.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
77.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
75.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)

series781.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
435.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
127.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
112.0ms
(- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)
106.0ms
(cbrt (* (* (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))

simplify46.3s

Counts
119 → 88
Calls
119 calls:
Slowest
1.1s
(cbrt (* (* (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)) (- (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (* 1 1))))
962.0ms
(cbrt (* (* (- (pow (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 3) (pow 1 3)) (- (pow (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 3) (pow 1 3))) (- (pow (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 3) (pow 1 3))))
944.0ms
(cbrt (* (* (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1) (- (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (* 1 1))) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))
933.0ms
(cbrt (* (* (- (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (* 1 1)) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)) (- (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))
830.0ms
(cbrt (* (* (+ (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (+ (* 1 1) (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1))) (+ (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (+ (* 1 1) (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))) (+ (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x)))))) (+ (* 1 1) (* (* (* (/ 2 (+ 1 (exp (* -2 x)))) (/ 2 (+ 1 (exp (* -2 x))))) (/ 2 (+ 1 (exp (* -2 x))))) 1)))))

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

19.1b
(+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))
0.2b
(* (* x x) -1/3)
0.1b
(* (* (* x x) -1/3) x)
0.0b
(* (pow x 5) 2/15)

rewrite447.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
20×add-cbrt-cube
18×pow1
15×add-sqr-sqrt
12×prod-exp
10×cbrt-unprod
9×*-un-lft-identity associate-*r* associate-*l* pow-prod-down add-cube-cbrt add-log-exp
4×unpow-prod-down insert-posit16 unswap-sqr
3×sum-log *-commutative
2×sqr-pow
1×pow-to-exp +-commutative associate-+l+ flip3-+ pow-exp flip-+
Counts
4 → 82
Calls
4 calls:
Slowest
350.0ms
(+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))
59.0ms
(* (* (* x x) -1/3) x)
28.0ms
(* (* x x) -1/3)
8.0ms
(* (pow x 5) 2/15)

series279.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
94.0ms
(+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))
87.0ms
(* (pow x 5) 2/15)
69.0ms
(* (* (* x x) -1/3) x)
29.0ms
(* (* x x) -1/3)

simplify11.4s

Counts
96 → 94
Calls
96 calls:
Slowest
656.0ms
(* (* (* (* (* x x) -1/3) (* (* x x) -1/3)) (* (* x x) -1/3)) (* (* x x) x))
505.0ms
(* (cbrt (* (pow x 5) 2/15)) (cbrt (* (pow x 5) 2/15)))
501.0ms
(* (* (* (* (* x x) -1/3) x) (* (* (* x x) -1/3) x)) (* (* (* x x) -1/3) x))
481.0ms
(* (cbrt (+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))) (cbrt (+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15))))
445.0ms
(* (* (* (pow x 5) 2/15) (* (pow x 5) 2/15)) (* (pow x 5) 2/15))

prune831.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes202.0ms

Accuracy

100% (0.0b remaining)

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

bsearch221.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.1s1673×body1280valid
1.0s1287×body640valid
356.0ms4140×body80valid
234.0ms606×body320valid
54.0ms294×body160valid