Details

Time bar (total: 15.9s)

sample122.0ms

Algorithm
intervals
Results
53.0ms110×body1280valid
27.0ms86×body640valid
14.0ms287×body80valid
7.0ms35×body320valid
2.0ms18×body160valid

simplify49.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1148
2248
3308
4348
done348

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.5b

localize11.0ms

Local error

Found 1 expressions with local error:

5.1b
(- (exp x) (exp (- x)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity
9×prod-diff
8×add-cube-cbrt
3×fma-neg add-log-exp
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out-- difference-of-squares
Counts
1 → 28
Calls
1 calls:
20.0ms
(- (exp x) (exp (- x)))

series39.0ms

Counts
1 → 3
Calls
1 calls:
39.0ms
(- (exp x) (exp (- x)))

simplify2.2s

Counts
31 → 31
Iterations

Useful iterations: done (2.2s)

IterNodesCost
073547
1158401
2370308
31377253
done5000244

prune101.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune12.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))
5.1b
(- (exp (+ x x)) (exp (* x -2)))

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity
42×add-sqr-sqrt
24×add-cube-cbrt times-frac
12×prod-diff difference-of-squares
10×exp-sum
8×distribute-lft-out
7×add-log-exp
6×associate-/l* distribute-lft-out--
5×add-exp-log add-cbrt-cube
4×fma-neg associate-/r*
3×pow1 expm1-log1p-u fma-def log1p-expm1-u
2×flip3-- flip3-+ associate-/r/ flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg diff-log div-sub div-exp clear-num sum-log div-inv
Counts
3 → 103
Calls
3 calls:
24.0ms
(+ (exp x) (exp (- x)))
179.0ms
(/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))
117.0ms
(- (exp (+ x x)) (exp (* x -2)))

series238.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(+ (exp x) (exp (- x)))
131.0ms
(/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))
60.0ms
(- (exp (+ x x)) (exp (* x -2)))

simplify4.6s

Counts
112 → 112
Iterations

Useful iterations: 3 (2.1s)

IterNodesCost
01822456
14302177
211811962
349111844
done50001844

prune464.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (exp x) (exp (- x))) (+ (exp (+ x x)) (exp (* x -2))))
0.0b
(* (exp (+ x x)) (exp (+ x x)))
0.0b
(* (exp (* x -2)) (exp (* x -2)))
5.1b
(- (* (exp (+ x x)) (exp (+ x x))) (* (exp (* x -2)) (exp (* x -2))))

rewrite647.0ms

Algorithm
rewrite-expression-head
Rules
128×exp-prod
94×*-un-lft-identity
76×add-sqr-sqrt
44×add-cube-cbrt
32×distribute-lft-out
29×pow-prod-down
24×distribute-rgt-out pow-sqr pow-prod-up
20×pow1
18×add-log-exp
14×distribute-lft1-in distribute-rgt1-in
12×exp-to-pow
11×associate-*r* associate-*l*
10×count-2 add-cbrt-cube
8×exp-sum
7×swap-sqr
6×add-exp-log flip3-+ flip-+ unswap-sqr
4×expm1-log1p-u frac-times log1p-expm1-u
3×prod-exp *-commutative cbrt-unprod
2×pow2 pow-plus associate-*r/ associate-*l/
1×distribute-rgt-in sub-neg flip3-- distribute-lft-in fma-neg diff-log prod-diff flip-- difference-of-squares
Counts
4 → 179
Calls
4 calls:
284.0ms
(* (+ (exp x) (exp (- x))) (+ (exp (+ x x)) (exp (* x -2))))
168.0ms
(* (exp (+ x x)) (exp (+ x x)))
26.0ms
(* (exp (* x -2)) (exp (* x -2)))
160.0ms
(- (* (exp (+ x x)) (exp (+ x x))) (* (exp (* x -2)) (exp (* x -2))))

series227.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(* (+ (exp x) (exp (- x))) (+ (exp (+ x x)) (exp (* x -2))))
23.0ms
(* (exp (+ x x)) (exp (+ x x)))
22.0ms
(* (exp (* x -2)) (exp (* x -2)))
77.0ms
(- (* (exp (+ x x)) (exp (+ x x))) (* (exp (* x -2)) (exp (* x -2))))

simplify2.0s

Counts
191 → 191
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02342630
16331893
223371566
done50021518

prune644.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes30.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01315
11415
done1415

end0.0ms

sample4.1s

Algorithm
intervals
Results
1.7s3412×body1280valid
871.0ms8379×body80valid
765.0ms2457×body640valid
284.0ms1206×body320valid
121.0ms660×body160valid