Details

Time bar (total: 12.3s)

sample20.0ms

Algorithm
intervals
Results
10.0ms489×body80valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 4 (16.0ms)

IterNodesCost
067
1117
2257
3447
4706
51326
63776
713556
done50006

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* x x) 1.0)
0.1b
(exp (- (* x x) 1.0))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
7×add-log-exp
5×add-sqr-sqrt
4×exp-prod
3×add-cube-cbrt *-un-lft-identity
2×pow1 add-exp-log sub-neg diff-log exp-sum add-cbrt-cube rem-exp-log difference-of-squares
1×flip3-- exp-diff flip--
Counts
2 → 29
Calls
2 calls:
9.0ms
(- (* x x) 1.0)
26.0ms
(exp (- (* x x) 1.0))

series65.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(- (* x x) 1.0)
24.0ms
(exp (- (* x x) 1.0))

simplify1.2s

Counts
35 → 35
Iterations

Useful iterations: done (1.2s)

IterNodesCost
054287
1117272
2273247
3679243
42080243
done5001242

prune63.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow (exp x) x)
0.0b
(* (pow (exp x) x) (exp (- 1.0)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
7×unpow-prod-down associate-*l*
4×pow-pow add-cbrt-cube
3×pow1 add-exp-log pow-unpow exp-prod associate-*r* prod-exp unswap-sqr sqr-pow
2×exp-neg pow-to-exp associate-*r/ pow-exp add-log-exp
1×neg-sub0 exp-diff un-div-inv *-commutative cbrt-unprod
Counts
2 → 48
Calls
2 calls:
4.0ms
(pow (exp x) x)
30.0ms
(* (pow (exp x) x) (exp (- 1.0)))

series155.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(pow (exp x) x)
123.0ms
(* (pow (exp x) x) (exp (- 1.0)))

simplify1.5s

Counts
54 → 54
Iterations

Useful iterations: 3 (375.0ms)

IterNodesCost
081492
1171452
2466398
31531389
done5000389

prune107.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))
0.0b
(exp (+ x (sqrt 1.0)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
8×exp-prod
6×add-cube-cbrt pow-unpow
5×pow-pow add-log-exp
4×unpow-prod-down
3×pow1
2×unpow-prod-up add-exp-log exp-sum add-cbrt-cube rem-exp-log distribute-lft-out difference-of-squares
1×pow-to-exp sub-neg pow-exp sum-log sqrt-prod distribute-lft-out-- pow-sub sqr-pow
Counts
2 → 42
Calls
2 calls:
34.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))
21.0ms
(exp (+ x (sqrt 1.0)))

series192.0ms

Counts
2 → 6
Calls
2 calls:
169.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))
23.0ms
(exp (+ x (sqrt 1.0)))

simplify1.1s

Counts
48 → 48
Iterations

Useful iterations: done (1.1s)

IterNodesCost
081564
1180526
2506494
31636490
done5000485

prune91.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))
0.0b
(pow (exp x) (- x (sqrt 1.0)))
0.0b
(pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
18×unpow-prod-down *-un-lft-identity
14×add-cube-cbrt
12×pow-unpow
11×pow-pow
10×sqr-pow
9×add-exp-log exp-prod associate-*r* associate-*l* prod-exp unswap-sqr
8×unpow-prod-up pow-to-exp pow-exp
6×pow-sub
5×pow1 sqrt-prod add-cbrt-cube
4×sub-neg difference-of-squares
3×add-log-exp
2×distribute-lft-out--
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative cbrt-unprod
Counts
3 → 104
Calls
3 calls:
36.0ms
(* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))
9.0ms
(pow (exp x) (- x (sqrt 1.0)))
12.0ms
(pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))

series614.0ms

Counts
3 → 9
Calls
3 calls:
499.0ms
(* (pow (exp x) (- x (sqrt 1.0))) (pow (exp (sqrt 1.0)) (- x (sqrt 1.0))))
40.0ms
(pow (exp x) (- x (sqrt 1.0)))
75.0ms
(pow (exp (sqrt 1.0)) (- x (sqrt 1.0)))

simplify2.6s

Counts
113 → 113
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
01591807
13491575
211311497
345211437
done50001437

prune276.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes27.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
188
done88

end0.0ms

sample572.0ms

Algorithm
intervals
Results
331.0ms15849×body80valid